Strongly determined types
نویسندگان
چکیده
منابع مشابه
Strongly Determined Types
The notion of a strongly determined type over A extending p is introduced , where p 2 S(A). A strongly determined extension of p over A assigns, for any model M A, a type q 2 S(M) extending p such that, if c realises q, then any elementary partial map M ! M which xes acl eq (A) pointwise is elementary over c. Examples are provided of many theories with strongly determined types, and some withou...
متن کاملStrongly Normalising Cut-Elimination with Strict Intersection Types
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for this reduction. Using this result, new proofs are given for the approximation theorem and the characterisation of normalisability using intersection types.
متن کاملCoalgebras as Types Determined by Their Elimination Rules
We develop rules for coalgebras in type theory, and give meaning explanations for them. We show that elements of coalgebras are determined by their elimination rules, whereas the introduction rules can be considered as derived. This is in contrast with algebraic data types, for which the opposite is true: elements are determined by their introduction rules, and the elimination rules can be cons...
متن کاملStrongly cotop modules
In this paper, we introduce the dual notion of strongly top modules and study some of the basic properties of this class of modules.
متن کاملStrongly noncosingular modules
An R-module M is called strongly noncosingular if it has no nonzero Rad-small (cosingular) homomorphic image in the sense of Harada. It is proven that (1) an R-module M is strongly noncosingular if and only if M is coatomic and noncosingular; (2) a right perfect ring R is Artinian hereditary serial if and only if the class of injective modules coincides with the class of (strongly) noncosingula...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1999
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(99)00004-4